withlnk($l$;${\it mss}$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$mapfilter($\lambda$${\it ms}$.2of(${\it ms}$);$\lambda$${\it ms}$.mlnk(${\it ms}$) = $l$;${\it mss}$)